int mian()
{
printf("%d",12);
return 0;
}